MIME-Version: 1.0
Server: CERN/3.0
Date: Sunday, 24-Nov-96 21:33:39 GMT
Content-Type: text/html
Content-Length: 322
Last-Modified: Thursday, 30-Nov-95 18:22:50 GMT

<TITLE>Incremental Compuation</TITLE>

<h2>Incremental Compuation</h2>
<P> <HR> <P>

<h3>Incremental Evaluation</h3>
<ul>
	<li> Attribute Grammars
	<li> Relational Calculus
	<li> Lambda Calculus
	<li> First-order Functional Programs
</ul>
<h3><!WA0><!WA0><!WA0><!WA0><a HREF="http://www.cs.cornell.edu/Info/People/tt/research/incremental-computation/derivation.html"> Derivation of Incremental Programs </a></h3>







